Homotopy type theory (series unlisted)

Abstract: Homotopy Type Theory (HoTT) is a language that describes what can be done with the objects of one fixed infinity-topos. The goals of my talk will be to give a sense what working in HoTT is like and what the scope of this approach to higher structures is.

mathematical physicsalgebraic topologycategory theorydifferential geometry

Audience: advanced learners

( chat | video )

Differential Cohesive Topos

Series comments: We mainly work on Differential cohomology in a cohesive infinity-topos(v2) [DCCT] ncatlab.org/schreiber/show/differential+cohomology+in+a+cohesive+topos